Conjunction

java.lang.Object

edu.uky.ai.lp.logic.BooleanExpression

edu.uky.ai.lp.logic.NAryBooleanExpression

edu.uky.ai.lp.logic.Conjunction

All Implemented Interfaces:: Expression, Formula

public class Conjunction
extends NAryBooleanExpression

Represents an expression with 1 or more conjuncts which must all be true.

Author:: Stephen G. Ware

Field Summary

Fields inherited from class edu.uky.ai.lp.logic.NAryBooleanExpression
arguments

Fields inherited from class edu.uky.ai.lp.logic.BooleanExpression
operator
Constructor Summary

Constructors

Constructor Description

Conjunction(Expression... conjuncts)
Constructs a new conjunction with the given arguments.

Method Summary

Modifier and Type	Method	Description
`Conjunction`	`substitute(Unifier unifier)`	Return a version of this formula with its variables replaced with the values assigned to them by a unifier.
`java.lang.String`	`toString()`

Methods inherited from class edu.uky.ai.lp.logic.BooleanExpression

equals, hashCode, substituteArguments, toString, unify

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details
- Conjunction
  
  public Conjunction(Expression... conjuncts)
  
  Constructs a new conjunction with the given arguments.
  
  Parameters:
  
  conjuncts - the conjuncts
Method Details
- toString
  
  public java.lang.String toString()
  
  Overrides:
  
  toString in class java.lang.Object
- substitute
  
  public Conjunction substitute(Unifier unifier)
  
  Description copied from interface: Formula
  
  Return a version of this formula with its variables replaced with the values assigned to them by a unifier.
  
  Parameters:
  
  unifier - the unifier
  
  Returns:
  
  the formula with variables replaced